[prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 263

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

729 729 1695 0 5823 2351 0 0 3157

N.S.

1 1.00 2.33 0.00 7.99 3.22 0.00 0.00 4.33

time (sec)

N/A 0.396 1.813 0.172 0.924 0.455 0.000 0.000 11.670

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

676 676 4669 0 0 0 0 0 -1

N.S.

1 1.00 6.91 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.405 7.615 0.172 0.000 0.000 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

441 441 3172 0 0 0 0 0 -1

N.S.

1 1.00 7.19 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.286 3.888 0.198 0.000 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 803 0 1891 483 0 178 565

N.S.

1 1.00 5.32 0.00 12.52 3.20 0.00 1.18 3.74

time (sec)

N/A 0.080 0.672 0.085 0.523 0.375 0.000 5.537 7.496

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

317 317 464 0 805 560 0 355 505

N.S.

1 1.00 1.46 0.00 2.54 1.77 0.00 1.12 1.59

time (sec)

N/A 0.115 0.274 0.084 0.361 0.397 0.000 6.404 6.670

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

402 402 971 0 2035 873 0 647 1007

N.S.

1 1.00 2.42 0.00 5.06 2.17 0.00 1.61 2.50

time (sec)

N/A 0.306 0.751 0.186 0.684 0.453 0.000 3.736 8.731

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

562 562 1334 0 4053 1656 0 0 1785

N.S.

1 1.00 2.37 0.00 7.21 2.95 0.00 0.00 3.18

time (sec)

N/A 0.316 1.204 0.193 1.005 0.454 0.000 0.000 10.139

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

732 732 1653 0 5391 2457 0 0 2419

N.S.

1 1.00 2.26 0.00 7.36 3.36 0.00 0.00 3.30

time (sec)

N/A 0.382 1.526 0.195 1.214 0.471 0.000 0.000 11.667

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F B B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

908 908 2138 0 8914 3747 0 0 2500

N.S.

1 1.00 2.35 0.00 9.82 4.13 0.00 0.00 2.75

time (sec)

N/A 0.455 2.497 0.183 2.284 0.505 0.000 0.000 13.701

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

189 189 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.206 0.354 0.311 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

190 190 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.203 0.339 0.276 0.000 0.000 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 206 0 0 2063 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 7.07 0.00 0.00 -0.00

time (sec)

N/A 0.216 4.258 0.190 0.000 0.491 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 134 0 0 799 0 0 -1

N.S.

1 1.00 0.64 0.00 0.00 3.80 0.00 0.00 -0.00

time (sec)

N/A 0.168 1.321 0.213 0.000 0.399 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 78 0 0 235 0 0 -1

N.S.

1 1.00 0.61 0.00 0.00 1.84 0.00 0.00 -0.01

time (sec)

N/A 0.106 0.340 0.204 0.000 0.410 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F A F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

125 125 0 0 0 83 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.66 0.00 0.00 -0.01

time (sec)

N/A 0.195 0.176 0.186 0.000 0.388 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F A F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

206 206 0 0 0 240 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 1.17 0.00 0.00 -0.00

time (sec)

N/A 0.221 0.200 0.046 0.000 0.404 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

295 295 0 0 0 596 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 2.02 0.00 0.00 -0.00

time (sec)

N/A 0.263 0.227 0.044 0.000 0.399 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

309 309 206 0 0 2059 0 0 -1

N.S.

1 1.00 0.67 0.00 0.00 6.66 0.00 0.00 -0.00

time (sec)

N/A 0.216 4.385 0.238 0.000 0.431 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 134 0 0 802 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 3.60 0.00 0.00 -0.00

time (sec)

N/A 0.174 1.313 0.225 0.000 0.407 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 78 0 0 238 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 1.74 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.331 0.240 0.000 0.399 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F A F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

128 128 0 0 0 90 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.70 0.00 0.00 -0.01

time (sec)

N/A 0.188 0.165 0.254 0.000 0.423 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F A F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

214 214 0 0 0 253 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 1.18 0.00 0.00 -0.00

time (sec)

N/A 0.225 0.179 0.046 0.000 0.418 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F B F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

306 306 0 0 0 612 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 2.00 0.00 0.00 -0.00

time (sec)

N/A 0.265 0.222 0.046 0.000 0.446 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 40 0 0 63 0 40 -1

N.S.

1 1.00 0.98 0.00 0.00 1.54 0.00 0.98 -0.02

time (sec)

N/A 0.082 0.020 0.215 0.000 0.398 0.000 3.377 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 40 0 0 63 0 40 -1

N.S.

1 1.00 0.98 0.00 0.00 1.54 0.00 0.98 -0.02

time (sec)

N/A 0.107 0.010 0.488 0.000 0.448 0.000 4.675 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

193 193 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.310 0.300 1.334 0.000 0.000 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F(-2) F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

194 194 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.305 0.266 1.441 0.000 0.000 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 43 64288 761 306 0 0 141

N.S.

1 1.00 0.96 1428.62 16.91 6.80 0.00 0.00 3.13

time (sec)

N/A 0.139 0.015 25.059 0.337 0.382 0.000 0.000 5.747

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 43 11062 389 164 0 0 100

N.S.

1 1.00 0.96 245.82 8.64 3.64 0.00 0.00 2.22

time (sec)

N/A 0.139 0.014 2.844 0.310 0.373 0.000 0.000 4.773

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 43 1152 154 66 0 0 71

N.S.

1 1.00 0.96 25.60 3.42 1.47 0.00 0.00 1.58

time (sec)

N/A 0.096 0.010 0.653 0.275 0.389 0.000 0.000 4.669

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 39 368 46 43 0 38 40

N.S.

1 1.00 0.95 8.98 1.12 1.05 0.00 0.93 0.98

time (sec)

N/A 0.159 0.037 0.362 0.379 0.363 0.000 4.833 4.657

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 41 366 77 78 0 95 42

N.S.

1 1.00 0.95 8.51 1.79 1.81 0.00 2.21 0.98

time (sec)

N/A 0.154 0.017 0.378 0.403 0.396 0.000 4.287 4.492

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 43 366 200 197 0 301 72

N.S.

1 1.00 0.96 8.13 4.44 4.38 0.00 6.69 1.60

time (sec)

N/A 0.152 0.017 0.341 0.429 0.337 0.000 3.697 4.543

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 47 0 0 75 0 46 -1

N.S.

1 1.00 0.96 0.00 0.00 1.53 0.00 0.94 -0.02

time (sec)

N/A 0.189 0.021 0.203 0.000 0.393 0.000 4.475 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 51 0 0 79 0 50 -1

N.S.

1 1.00 0.93 0.00 0.00 1.44 0.00 0.91 -0.02

time (sec)

N/A 0.244 0.035 0.265 0.000 0.361 0.000 4.348 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 50 0 0 77 0 48 -1

N.S.

1 1.00 0.96 0.00 0.00 1.48 0.00 0.92 -0.02

time (sec)

N/A 0.183 0.011 0.435 0.000 0.380 0.000 4.521 0.000

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 39 368 46 43 0 38 40

N.S.

1 1.00 0.95 8.98 1.12 1.05 0.00 0.93 0.98

time (sec)

N/A 0.157 0.020 0.265 0.384 0.377 0.000 3.448 0.002

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 43 374 50 49 0 42 44

N.S.

1 1.00 0.91 7.96 1.06 1.04 0.00 0.89 0.94

time (sec)

N/A 0.210 0.053 0.313 0.378 0.372 0.000 4.339 4.429

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 42 371 48 46 0 40 42

N.S.

1 1.00 0.95 8.43 1.09 1.05 0.00 0.91 0.95

time (sec)

N/A 0.168 0.024 0.714 0.402 0.347 0.000 4.199 4.514

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

88 88 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.171 0.258 0.269 0.000 0.000 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 106 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.41 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.021 0.234 0.000 0.347 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 84 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.12 0.00 0.00 -0.01

time (sec)

N/A 0.074 0.019 0.180 0.000 0.359 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 62 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.83 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.016 0.136 0.000 0.384 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 72 0 0 38 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.53 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.054 0.133 0.000 0.351 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 34 0 34 33 0 82 33

N.S.

1 1.00 1.03 0.00 1.03 1.00 0.00 2.48 1.00

time (sec)

N/A 0.065 0.028 0.202 0.436 0.407 0.000 4.154 4.477

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 71 0 0 38 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.54 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.054 0.143 0.000 0.355 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 62 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.83 0.00 0.00 -0.01

time (sec)

N/A 0.058 0.013 0.118 0.000 0.398 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 75 0 0 84 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 1.12 0.00 0.00 -0.01

time (sec)

N/A 0.072 0.015 0.237 0.000 0.379 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

361 361 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.437 2.340 0.205 0.000 0.000 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

282 282 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.356 1.312 0.251 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 1415 0 0 0 0 0 -1

N.S.

1 1.00 6.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.303 0.489 0.228 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 304 1447 0 0 0 0 -1

N.S.

1 1.00 2.47 11.76 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.185 0.102 0.429 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

82 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 0.082 0.219 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

82 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.155 0.208 0.010 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 298 42 357 32 0 0 -1

N.S.

1 1.00 9.03 1.27 10.82 0.97 0.00 0.00 -0.03

time (sec)

N/A 0.071 0.132 0.970 0.306 0.417 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 320 45 344 38 0 0 -1

N.S.

1 1.00 11.85 1.67 12.74 1.41 0.00 0.00 -0.04

time (sec)

N/A 0.049 0.181 0.858 0.303 0.386 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 320 45 336 38 0 0 -1

N.S.

1 1.00 11.85 1.67 12.44 1.41 0.00 0.00 -0.04

time (sec)

N/A 0.083 0.130 0.746 0.288 0.360 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 320 45 343 38 0 0 -1

N.S.

1 1.00 11.85 1.67 12.70 1.41 0.00 0.00 -0.04

time (sec)

N/A 0.085 0.126 0.741 0.305 0.395 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

282 282 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.421 1.037 0.529 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 1415 0 0 0 0 0 -1

N.S.

1 1.00 6.97 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.343 0.404 0.553 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B C F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 303 1447 0 0 0 0 -1

N.S.

1 1.00 2.46 11.76 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.201 0.087 0.718 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

83 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.191 0.069 0.474 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

83 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.171 0.164 0.011 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]